]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 76cb08a) | patch
ci: Check that pot file is generated correctly
authorFlorian Müllner <fmuellner@gnome.org>
Sat, 9 Feb 2019 03:51:00 +0000 (04:51 +0100)
committerGeorges Basile Stavracas Neto <georges.stavracas@gmail.com>
Tue, 26 Feb 2019 21:08:17 +0000 (21:08 +0000)
commitad8690bb2e28cef63f480575f5de887f4b1e0d2e
treed7b784047e2eb1dc617ca570f4491f81f2a9baf2tree | snapshot
parent76cb08a72a06b0c789554fa0a8550b74435f01f4commit | diff
ci: Check that pot file is generated correctly

This is to guard against the now infamous xgettext bug[0].

[0] https://savannah.gnu.org/bugs/?50920#comment5

https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/408
.gitlab-ci.yml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.